//SA OMP maxsat
//$Id: maxsat_sa_omp.cpp 129 2009-08-31 11:59:57Z Oleg.Bulychov $
#include "stdafx.h"

#include "../maxsat_sa.h"
#include "solvers/sa/sa_config.h"
#include "solvers/sa/sa_omp.h"
#include "src/heo/include/run_omp.h"

typedef Config<MaxSat_Config, SA_Config>        TConfig;
typedef MaxSat_Problem                          TProblem;
typedef MaxSat_Solution_SA                      TSolution;
typedef SA_OMP<TProblem, TSolution, TConfig>    TSolver;


int main(int argc, char* argv[])
{
    return Run_OMP<TSolver>(argc, argv, "MaxSat").retval;
}
//EOF!
